Nuprl Definition : dstype
11,40
postcript
pdf
dstype(
TypeNames
;
d
;
a
) == (
d
.1)(
a
)
latex
Definitions
t
.1
origin